Sur le parallèle. Avant-propos

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...

SVM incrémental et parallèle sur GPU

Résumé. Nous présentons un nouvel algorithme incrémental et parallèle de Séparateur à Vaste Marge (SVM ou Support Vector Machine) pour la classification de très grands ensembles de données en utilisant le processeur de la carte graphique (GPUs, Graphics Processing Units). Les SVMs et les méthodes de noyaux permettent de construire des modèles avec une bonne précision mais ils nécessitent habitu...

etude sur le degré d’apprentissage parallèle de deux langues etrangères chez les apprenants adultes persanophones

در دنیای کنونی دانستن بیش از یک زبان خارجی تبدیل به نیازی رایج شده است. برخلاف جوامع اروپایی، در ایران زبان آموزان بیشتر تک زبانه هستند. زبانهای مورد نیاز آنها نه به زبان مادریشان- فارسی- نزدیک است و نه کاربرد هرروزه ی اجتماعی دارد. هدف از این تحقیق گسترش دانش زبانی و بهبود روشهای آموزش همزمان دو زبان خارجی به زبان آموزان بزرگسال است. با مطالعه روی دوزبانگی که نزدیکترین مفهوم به موضوع بحث است، ...

Sur le groupe d’interpolation

Résumé : Nous étudions le groupe d’interpolation dont les éléments sont certaines paires de séries formelles. Ce groupe possède une représentation linéaire fidèle dans les matrices triangulaires inférieures infinies. On peut donc le munir d’une structure de groupe de Lie naturelle. Une fonction reliée à l’exponentielle matricielle entre son algèbre de Lie et sa représentation linéaire étend alo...